61. Automated Deduction -- CADE-12 :
پدیدآورنده: edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
62. BL
پدیدآورنده: 20090131 01893nam1 22002412i 450 001000700000020001700007100004500024101000800069200009900077210012900176215000900305320004500314327084900
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
63. Boolean constructions in universal algebras
پدیدآورنده : Pinus, Aleksandr Georgievich
موضوع : ، Algebra, Boolean,، Algebra, Universal
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
64. Bounded Integral Operators on L2 Spaces
پدیدآورنده: by Paul Richard Halmos, Viakalathur Shankar Sunder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.
65. C*-algebras and their automorphism groups /
پدیدآورنده: Gert K. Pedersen ; edited by Søren Eilers, Dorte Olesen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automorphisms.,C*-algebras.,Automorphisms.,C*-algebras.,MATHEMATICS-- Algebra-- Intermediate.
رده :
QA326
66. CAD/CAM Robotics and Factories of the Future '90 :
پدیدآورنده: edited by Suren N. Dwivedi, Alok K. Verma, John E. Sneckenberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering economy.,Engineering.
67. Canonical forms in finitely presented algebras
پدیدآورنده: LE CHENADEC, PHILIPPE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ALGEBRA,UNIVERSAL
رده :
QA
251
.
L4
68. Clifford Algebras and their Applications in Mathematical Physics
پدیدآورنده: edited by Rafał Abłamowicz, Bertfried Fauser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Global differential geometry.,Mathematical physics.,Mathematics.
69. Closure Spaces and Logic
پدیدآورنده: by Norman M. Martin, Stephen Pollard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.
70. Colored operads /
پدیدآورنده: Donald Yau.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra, Homological.,Knot theory.,Operads.,Algebra, Homological.,Category theory; homological algebra-- Categories with structure-- Enriched categories (over closed or monoidal categories),Category theory; homological algebra-- Categories with structure-- Monoidal categories (= multiplicative categories), symmetric monoidal categories, braided categories.,Category theory; homological algebra-- Categories with structure-- Operads.,Category theory; homological algebra-- General theory of categories and functors-- Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.),Combinatorics-- Instructional exposition (textbooks, tutorial papers, etc.),Knot theory.,Operads.,Order, lattices, ordered algebraic structures-- Ordered structures-- Ordered semigroups and monoids.
رده :
QA169
.
Y38
2016
71. Commutative Algebra, Singularities and Computer Algebra :
پدیدآورنده: edited by Jürgen Herzog, Victor Vuletescu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing -- Congresses.,Commutative algebra -- Congresses.,Singularities (Mathematics) -- Congresses.
72. Commutator theory for congruence modular varieties
پدیدآورنده: Freese, Ralph S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algebra, Universal,، Algebraic varieties,، Congruence lattices
رده :
QA
251
.
F685
1987
73. Commutator theory for congruence modular varieties
پدیدآورنده: Freese, Ralph S.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Algebra, Universal,، Algebraic varieties,، Congruence lattices
رده :
QA
251
.
F685
1987
74. Commutator theory for congruence modular varieties
پدیدآورنده: Freese, Ralph S., 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Algebra, Universal,، Algebraic varieties,، Congruence lattices
رده :
QA
251
.
F74
75. Completely prime maximal ideals and quantization /
پدیدآورنده: William M. McGovern
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Ideals (Algebra),Lie algebras,Representations of algebras,Universal enveloping algebras
رده :
QA252
.
3
.
A57
no
.
519
76. Complex cobordism and stable homotopy groups of spheres.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cobordism theory.,Homotopy groups.,Spectral sequences (Mathematics),Sphere.
رده :
QA612
.
78
--
R37
1986eb
77. Contributions to universal algebra
پدیدآورنده: / edited by B. Csakany and J. Schmidt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع:
رده :
QA251
،.
C66
1975
78. Contributions to universal algebra : )proceedings(
پدیدآورنده: edited by B. Csakany and J. Schmidt
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Algebra, Universal
رده :
QA
251
.
C6
79. Cyclotomic Fields
پدیدآورنده: by Serge Lang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Number theory.
80. Design and Analysis of Algorithms :
پدیدآورنده: Sandeep Sen, Indian Institute of Technology, Delhi, Amit Kumar, Indian Institute of Technology, Delhi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.,Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.
رده :
QA9
.
58
.
S454
2019
